A Counterexample in Tense Logic

Times in Tense Logic

Tense logic is often said to possess insufficient expressive resources to serve as a theory of the nature of time. This paper counters this objection by showing how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” This account of tim...

Lecture 2 : Time , tense , and tense - logic ∗

Functional Completeness in Tense Logic

Consider a partially ordered set(T <,=), where T is non-empty,< is an irreflexive and transitive relation on T and = is equality. We can regard T as a set of moments of time and < as the earlier later relation. We refer to any fixed (T,<,=) as a flow of time. Consider now a propositional language with atomic propositions p, q, r, . . . the usual classical connectives ∼,∧,∨ → and some additional...

Indexical Hybrid Tense Logic

In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now operator N) and prove completeness results for both logical and contextual validity. We then add propo...

'Now' and 'Then' in Tense Logic

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It is shown that “now” and “then” are eli...